1. All About Maude--A High-performance Logical Framewor
پدیدآورنده : / Manuel Clavel ... [et al.
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer logic.,Rewriting systems (Computer science),Human information processing.
رده :
QA
,
76
.
9
,.
L63
,
C6555
,
2007
